Optimal. Leaf size=55 \[ \frac {2 (a \sin (c+d x)+a)^{m+2}}{a^2 d (m+2)}-\frac {(a \sin (c+d x)+a)^{m+3}}{a^3 d (m+3)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 55, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {2667, 43} \[ \frac {2 (a \sin (c+d x)+a)^{m+2}}{a^2 d (m+2)}-\frac {(a \sin (c+d x)+a)^{m+3}}{a^3 d (m+3)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 2667
Rubi steps
\begin {align*} \int \cos ^3(c+d x) (a+a \sin (c+d x))^m \, dx &=\frac {\operatorname {Subst}\left (\int (a-x) (a+x)^{1+m} \, dx,x,a \sin (c+d x)\right )}{a^3 d}\\ &=\frac {\operatorname {Subst}\left (\int \left (2 a (a+x)^{1+m}-(a+x)^{2+m}\right ) \, dx,x,a \sin (c+d x)\right )}{a^3 d}\\ &=\frac {2 (a+a \sin (c+d x))^{2+m}}{a^2 d (2+m)}-\frac {(a+a \sin (c+d x))^{3+m}}{a^3 d (3+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.12, size = 52, normalized size = 0.95 \[ -\frac {(\sin (c+d x)+1)^2 ((m+2) \sin (c+d x)-m-4) (a (\sin (c+d x)+1))^m}{d (m+2) (m+3)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.58, size = 61, normalized size = 1.11 \[ \frac {{\left (m \cos \left (d x + c\right )^{2} + {\left ({\left (m + 2\right )} \cos \left (d x + c\right )^{2} + 4\right )} \sin \left (d x + c\right ) + 4\right )} {\left (a \sin \left (d x + c\right ) + a\right )}^{m}}{d m^{2} + 5 \, d m + 6 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 1.47, size = 152, normalized size = 2.76 \[ -\frac {{\left (a \sin \left (d x + c\right ) + a\right )}^{m} m \sin \left (d x + c\right )^{3} + {\left (a \sin \left (d x + c\right ) + a\right )}^{m} m \sin \left (d x + c\right )^{2} + 2 \, {\left (a \sin \left (d x + c\right ) + a\right )}^{m} \sin \left (d x + c\right )^{3} - {\left (a \sin \left (d x + c\right ) + a\right )}^{m} m \sin \left (d x + c\right ) - {\left (a \sin \left (d x + c\right ) + a\right )}^{m} m - 6 \, {\left (a \sin \left (d x + c\right ) + a\right )}^{m} \sin \left (d x + c\right ) - 4 \, {\left (a \sin \left (d x + c\right ) + a\right )}^{m}}{{\left (m^{2} + 5 \, m + 6\right )} d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 1.74, size = 0, normalized size = 0.00 \[ \int \left (\cos ^{3}\left (d x +c \right )\right ) \left (a +a \sin \left (d x +c \right )\right )^{m}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.93, size = 111, normalized size = 2.02 \[ -\frac {\frac {{\left ({\left (m^{2} + 3 \, m + 2\right )} a^{m} \sin \left (d x + c\right )^{3} + {\left (m^{2} + m\right )} a^{m} \sin \left (d x + c\right )^{2} - 2 \, a^{m} m \sin \left (d x + c\right ) + 2 \, a^{m}\right )} {\left (\sin \left (d x + c\right ) + 1\right )}^{m}}{m^{3} + 6 \, m^{2} + 11 \, m + 6} - \frac {{\left (a \sin \left (d x + c\right ) + a\right )}^{m + 1}}{a {\left (m + 1\right )}}}{d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.73, size = 85, normalized size = 1.55 \[ \frac {{\left (a\,\left (\sin \left (c+d\,x\right )+1\right )\right )}^m\,\left (2\,m+18\,\sin \left (c+d\,x\right )+2\,\sin \left (3\,c+3\,d\,x\right )+m\,\sin \left (c+d\,x\right )-2\,m\,\left (2\,{\sin \left (c+d\,x\right )}^2-1\right )+m\,\sin \left (3\,c+3\,d\,x\right )+16\right )}{4\,d\,\left (m^2+5\,m+6\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 21.47, size = 1114, normalized size = 20.25 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________